theorem :: XPRIMES0:804

not 804 is prime