theorem :: XPRIMES0:99

not 99 is prime