theorem :: XPRIMES2:167

canceled;