を整数とし，とする．
　が偶数であれば，は偶数であることを示せ．
　が偶数であれば，はで割り切れることを示せ．


　　であるから，が偶数ならば，も偶数であり，
　は偶数となる．
　　から，が偶数であれば，は偶数である．
　このとき，において，も偶数であるから，はで割り切れる．
　　は整数のとき　はで割り切れる．
　　は整数のとき
　　となり，はで割り切れる．
　　は整数のとき
　　となり，はで割り切れる．
　〜からはで割り切れる．
　以上から，はでもでも割り切れる．
　すなわち，はで割り切れる．