theorem :: XPRIMES1:769

769 is prime