Ex 3.2: Added incomplete main proof