>>959
どの文脈での話?環の公理からなら自明。
素朴な自然数と整数での話なら、人工的にそうしただけ。