theorem :: XPRIMES2:1129

canceled;