theorem :: XPRIMES0:410

not 410 is prime