theorem :: XPRIMES2:1196

canceled;