theorem :: XPRIMES2:5072

canceled;