La demostración es muy similar si es el mínimo que está alcanzado en ("a", "b").