theorem :: XPRIMES0:1476

not 1476 is prime