theorem :: XPRIMES1:751

751 is prime