Understanding Machine Learning Book Proofs