5以上の素数を二乗したものから1を引いたものが12で割り切れることを証明せよ
modの扱いとかがわからないし、素数をどうやって表せばいいのかがわからない。お願いします