Comment by underdeserver

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