theorem :: XPRIMES2:726

canceled;