余りについての議論は合同式がストレートでしょうが，自然数ｎについての命題だと解釈すると数学的帰納法も考えられます．解答はいろいろあるでしょう．