Sugerencia 2: si s es cualquier elemento en Ck, s es un estado del autómata. Ahora la (k ฀ 1)-clase de equivalencia particionan el conjunto de todo...

Sugerencia 2: si s es cualquier elemento en Ck, s es un estado del autómata. Ahora la (k ฀ 1)-clase de equivalencia particionan el conjunto de todos los estados del autómata en una unión de subconjuntos mutuamente disjuntos, por lo que s Ck฀1 para alguna (k ฀ 1)-clase de equivalencia Ck฀1.