theorem :: XPRIMES2:6193

canceled;