theorem :: XPRIMES1:2962

canceled;