Linear mapping/Eigenvalue zero/Characterization/Fact