Es decir formula_18, lo cual contradice la hipótesis del lema.