theorem :: XPRIMES1:2726

canceled;