theorem :: XPRIMES0:779

not 779 is prime