2C. Transformation Proof