Esto es una contradicción, puesto que b1, b2 ...,bi y u2 formarían ciclo en Sr-1 .