Friedberg linear algebra에 나온 증명도 명제 자체가 주어진 집합이 linearly independent라는 걸 깔고 들어가니까 m에 대한 induction도 가능하네요… 고민 해결되서 좋은데 전 왜 이렇게 멍청한지 ㅠㅠ