theorem :: XPRIMES0:1420

not 1420 is prime