Doesn't look like these proofs are from the book.