The proof is right there in the text