theorem :: XPRIMES2:5127

canceled;