だったら素数はいくつあるのか証明してみろよ!