discussion:la:chapters:proofs