theorem :: XPRIMES1:5117

canceled;