theorem :: XPRIMES2:5291

canceled;