theorem :: XPRIMES0:1474

not 1474 is prime