en:discussion:chapters:proofs