theorem :: XPRIMES0:378

not 378 is prime