Premisa: este funcional no es definido positivo en general
Hipótesis: el siguiente lema muestra un caso en el que se puede garantizar que el funcional es definido positivo
Conector eliminado: sin embargo,
Etiqueta del conector: contrasting
Etiqueta humana (mayoría): contrasting