theorem :: XPRIMES0:924

not 924 is prime