Entonces no existe ningún punto formula_11 tal que formula_12 para toda formula_7.