proofs from the book