theorem :: XPRIMES2:1167

canceled;