theorem :: XPRIMES0:22

not 22 is prime