Prove If X2 Mx