theorem :: XPRIMES2:3167

canceled;