Amended Proof of 2.2