特に c = − b {\displaystyle c=-b} となせば (3) より
を得.是故に (3) の c {\displaystyle c} に代ふるに − c {\displaystyle -c} を以てして
を得.
(4) の證. a {\displaystyle a} につきて數學的歸納法を適用す. a {\displaystyle a} より a ± 1 {\displaystyle a\pm 1} に移るに
始めには II* に於て a {\displaystyle a} に代ふるに b + c {\displaystyle b+c} 又 b {\displaystyle b} に代ふるに a {\displaystyle a} を以てせり.其他は加法の性質及 II* の簡單なる應用に過ぎず.
特に c = − b {\displaystyle c=-b} となせば
を得.之を利用して