Corrected description exercise 2.4(b)
Added proof 2.4(b) (Needs cleaning up)
Added new PDF