theorem :: XPRIMES2:5134

canceled;