theorem :: XPRIMES0:1804

not 1804 is prime