theorem :: XPRIMES2:5117

canceled;