>>430
ということはそのうち全ての正則素数でFLT(n)が成り立つとかでてきたりするんですか