theorem :: XPRIMES0:978

not 978 is prime