Reorganised numbering.
Added proof 2.2(a)