theorem :: XPRIMES1:2994

canceled;