theorem :: XPRIMES2:2167

canceled;