No wonder I can never follow the proofs that are in the PDFs of presentations!
(Thanks to Alex Kontorovich for inspiring this on Episode 1 of the 3b1b podcast.)