A projection onto a subspace is a linear transformation