la:discussion:chapters:proofs