theorem :: XPRIMES0:1805

not 1805 is prime