theorem :: XPRIMES0:32

not 32 is prime