az altalad keresett string legyen x. x := "bbbbbaba^-1bbbbbb". ugye tudjuk, hogy (a^(-1))x benne van S(a^-1) -ben, de ekkor x eleme aS(a^-1).