theorem :: XPRIMES0:803

not 803 is prime