theorem :: XPRIMES0:1378

not 1378 is prime