theorem :: XPRIMES0:624

not 624 is prime