Prove If X2 Is Even Then X Gsm