Implies[Mod[2,2]==0,Mod[2,3]==0]