Supongamos entonces que las clases de equivalencia distintas son: formula_20.