theorem :: XPRIMES1:929

929 is prime