Added proof 2.4(a)
Added new PDF