Linear algebra (Osnabrück 2024-2025)/Part I/Lecture 25