Fixed typo
Corrected proof 2.1(b)
Created new PDF