theorem :: XPRIMES0:984

not 984 is prime