Linear mapping/Matrix/Composition/Fact/Proof

Proof

We consider the commutative diagram

where the commutativity rests on the identities

from fact. The (inverse) coordinate mappings are bijective. Therefore, we have

Hence, we get altogether

where we have everywhere compositions of mappings. Due to exercise, the composition of mappings corresponds to the matrix multiplication.