theorem :: XPRIMES2:7726

canceled;