se dice "clase de equivalencia" de formula_64 por formula_20.