theorem :: XPRIMES1:1760

canceled;