theorem :: XPRIMES2:5271

canceled;