B2.2 (e): Better structure of proof.