>>763
基本原理(a),(b)以外に演算+と*についての定義諸々が明示されてないとね。