51が素数じゃないのはなんか解せない