theorem :: XPRIMES1:761

761 is prime