theorem :: XPRIMES1:2720

canceled;