theorem :: XPRIMES0:1808

not 1808 is prime