Lemma 4.1.1 looked pretty trivial coming 2 chapters after Theorem 2.5.34