theorem :: XPRIMES0:805

not 805 is prime