Prove If X2 Y2