Como formula_51, entonces es formula_52, y la relación formula_44 es reflexiva en formula_25.