20170618

-1 でも 1 でもない整数全体からなる集合を S とする.
n が整数で (n+1) が奇数の平方数ならば, ∃a(∃b(∃c((a∈S)∧(b∈S)∧(c∈S)∧(n=abc)))).
n が 8 ではない整数で (n+1) が奇数の平方数ならば, ∃a(∃b(∃c(∃d((a∈S)∧(b∈S)∧(c∈S)∧(d∈S)∧(n=abcd))))).