discussion:chapters:proofs