素数はやっぱり素数でしょ的な