Fermat's little theorem
これらのいずれかが真となることを示すため、以下のフェルマーの小定理を利用する: