theorem :: XPRIMES1:2760

canceled;