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