>>125
0+0は*1より左の0自身になります
1+0も同様に1です

自然数の掛け算を定義します
n*0=0
n*s(m)=n*m+n

s(m)は、mの後継者を表します

すなわち、0をかけると0になるのは定義そのものです