theorem :: XPRIMES0:94

not 94 is prime