theorem :: XPRIMES0:1806

not 1806 is prime