theorem :: XPRIMES1:2710

canceled;