de libertad son formula_501 y formula_502, y el parámetro de no