theorem :: XPRIMES1:760

canceled;