theorem :: XPRIMES0:1414

not 1414 is prime