B2.2 (e): Nicer proof!
B2.2 (e): Typo