theorem :: XPRIMES0:91

not 91 is prime