Exercise IVLT.T05 Robert Beezer

Prove that the identity linear transformation (Definition IDLT) is both injective and surjective, and hence invertible.