theorem :: XPRIMES2:1170

canceled;