theorem :: XPRIMES0:1978

not 1978 is prime