chapters:proofs