theorem :: XPRIMES0:28

not 28 is prime