theorem :: XPRIMES0:18

not 18 is prime