1B. Transformation Proof