theorem :: XPRIMES0:27

not 27 is prime