theorem :: XPRIMES0:1824

not 1824 is prime