theorem :: XPRIMES0:985

not 985 is prime