這部分會定期移到 update-XXXX 中成為新貼文。 Not zero divisor if and only if left action is injective Non zero-divisor 負負得正 開始寫 Ring 理論