theorem :: XPRIMES2:1165

canceled;