En este caso la sentencia deberá ser de implicación, lo que indica que para todo x que hace verdadero formula_15, se cumple también formula_16.