theorem :: XPRIMES1:2966

canceled;