theorem :: XPRIMES1:5980

canceled;