他の演習問題にあるように, が7の倍数になることを に関する数学的帰納法で示すことができる.
よっては個の要素からなり, の要素の個数と一致する.よって である.
つまり, を で割った余りは を で割った余りである.
は をそれぞれ 個ずつを並べる場合の数である. その一つの並べ方に対して, 個ずつある の一つ一つを区別すると 個でき,それらの並べ方の総数がである.よって
式