Proofs from the book sixth edition