theorem :: XPRIMES0:412

not 412 is prime