进一步完善这个命题

费尔马1

n（n+1）（n+2）≠p∧k  *y∧2
p为素数或1，
三个连续正整数的乘积不等于一个素数的k次幂个相同的平方数的和。
这样就完善了这个定理。
大家看看，是不是这样。