theorem :: XPRIMES0:1807

not 1807 is prime