57はグロタンディーク素数というのだと今さっき知った。なんだやっぱり素数じゃないか。おれは間違ってなかった

http://ja.wikipedia.org/wiki/57