Linear mapping/Eigenvalue zero/Characterization/Fact/Proof/Exercise