theorem :: XPRIMES1:3979

canceled;