theorem :: XPRIMES0:478

not 478 is prime