theorem :: XPRIMES2:1193

canceled;