>>651
いったい何回たて続けに同じとこで loop するんだ？
「写像」でも「関数」でも「演算」でも同じこと。
有理整数環の定義は >>620 に書いたとおりで、
>>644 に書いたように、乗法の定義もそこに含まれる。
具体的な代入に対する値の求め方は、それとは別の話
で、公理から計算方法を導出して使えばいい。
>>636 >>638 は、読まなかったのか、理解できなかったのか。
被演算数の一方が自然数である場合に
乗法が累加で書けることも、そのような
計算用の定理のひとつ。