Un "primo de formula_74" es una clase de equivalencia de valoraciones.