theorem :: XPRIMES0:610

not 610 is prime