theorem :: XPRIMES0:1924

not 1924 is prime