theorem :: XPRIMES1:2945

canceled;