theorem :: XPRIMES2:1197

canceled;