素数の定義から無理なことは明らかみたいな感じなのか?