フェルマーの小定理とは Pythonを使って高速素数判定をしてみる - Pashango’s Blog によると a^(p-1) mod p の答えが1以外ならpは合成数である ただし、aとpが素の関係（最大公約数が1)であること であるそうな。 証明見てみたけど、帰納法で証明してた。で…