theorem :: XPRIMES0:1416

not 1416 is prime