theorem :: XPRIMES0:1478

not 1478 is prime