Prop:
A, B, C: 環
f: A → B, g: B → Cは準同型とすると、合成写像g○fも準同型である。