At the center of almost any proof involving linear transformations is to apply linearity to move between the domain and codomain, preserving the structure of linear combinations. Statements proved in such a way: all linear transformations take 0 to 0 images of subspaces are subspaces (special example: image) preimages of subspaces are subspaces (special example: […]