Sugerencia 1: Suponga que Ck es una k-clase de equivalencia dada pero arbitrariamente elegida. Debe demostrar que existe una (k ฀ 1)-clase de equivalencia Ck฀1 tal que Ck Ck฀1.