theorem :: XPRIMES0:92

not 92 is prime