theorem :: XPRIMES0:1410

not 1410 is prime