森嶋太郎
mを31以下の素数としよう。 p を素数とし、 x, y, z を x + y = z がなりたつ正整数とする。そして p が xyz を割り切らないとする。 このとき p は m-1 を割り切る。