>>154
環の構造を仮定するならば定理