環の準同型定理
環の準同型写像は自然な同型写像を引き起こす