手机打字很费劲，实际上，乘法和加法都是定义的。

【 在 lushan5436 的大作中提到: 】
: 扯淡呢，这个证明不明摆的么。整数域内
: 定义乘法a*b表示a个b相加
: 先证明1是单位元
: ...................
--
FROM 223.104.38.*