theorem :: XPRIMES0:1412

not 1412 is prime