theorem :: XPRIMES1:2980

canceled;