Affine-linear mapping/Functorial properties/Fact/Proof

Proof

These properties follow immediately from the definition.