theorem :: XPRIMES0:98

not 98 is prime