>>562
ここで既に指摘(>>553-554)されているように、
自然数から整数を構築する際には分配則は使わないで構築される。
（構築された整数は分配則を満たす。それゆえ整数は環の公理を満たす代数系の例になる）