"K" se llama cota inferior de formula_123 en "D".