Added proof 2.4(c)
Added new PDF