theorem :: XPRIMES2:5980

canceled;