9장부터 선형대수학때문에 어려워진다고 (나무위키에서)들었는데, 어느정도 수준인가요? 증명하기 매우 어려운 명제를 그냥 가져다쓰기도 하나요?