Linear mapping/Finite dimensional/Eigenvalues bounded by dimension/Fact