Corrected numbering subsections
Added proof 2.2(b)
Updated PDF