Mathematics for Applied Sciences (Osnabrück 2023-2024)/Linear mapping/Finite dimensional/Eigenvalues bounded by dimension/Fact/Proof/Exercise/Exercisereferencenumber