Note que si formula_3 es reflexiva, entonces formula_14.