theorem :: XPRIMES1:2998

canceled;