theorem :: XPRIMES2:193

canceled;