theorem :: XPRIMES0:414

not 414 is prime