theorem :: XPRIMES0:24

not 24 is prime