theorem :: XPRIMES0:78

not 78 is prime