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.