theorem :: XPRIMES0:1803

not 1803 is prime