theorem :: XPRIMES0:33

not 33 is prime