Linear mapping/Eigenspace for different eigenvalues/Zero/Fact/Proof/Exercise