theorem :: XPRIMES0:807

not 807 is prime