theorem :: XPRIMES0:34

not 34 is prime