A cancellation theorem for ideals
  We prove cancellation theorems for special ideals in Gorenstein local rings. These theorems take the form that if KI is contained in JI, then K is contained in J. 
Craig Huneke