Proof in the mathematics book