ｎは素数であり、Ｃ（ｍ，ｎ）はｎで割ることができる。Ｃ（ｍ，ｎ）はｎからｍを取る結合数、ｍ

Ｃ（ｍ，ｎ）＝ｎ！／（ｎ－ｍ）！ｍ！＝（ｎ－ｍ＋１）．．．（ｎ－１）ｎ／ｍ！
Ｃ（ｍ，ｎ）は整数です。
ｎが素数ならばｎは除かれないので、Ｃ（ｍ，ｎ）はｎを含む。
つまりＣ（ｍ，ｎ）はｎで除去されます
注意：ここでは条件を満たす必要があります。