theorem :: XPRIMES2:6167

canceled;