theorem :: XPRIMES2:5257

canceled;