nm=mn.幾何学的に明らかに見えることでも,個数の処理から考えると自明なことではない.
基本法則よりn0=0, 数学的帰納法により0n=0.
mn=nmが成り立つとすると,m(n+1)=mn+m=nm+m=(n+1)m なので数学的帰納法よりmn=nm.
nm+m=(n+1)mの部分は要証明.