theorem :: XPRIMES1:773

773 is prime