2:=suc(1)が定義
1+1=suc(1)=2は和の定義から導き出された定理