環の直和 "a" ⊕ "b" の全商環 "q"("a" ⊕ "b")は、それぞれの全商環の直和 "q"("a") ⊕ "q"("b")に等しい。