Linear mapping/Eigenspace for different eigenvalues/Zero/Fact

Let be a field, a -vector space and

a linear mapping. Let be elements in .

Then