Notemos que tenemos tres coclases izquierdas diferentes que son disjuntas entre si y que cada una de ellas contiene a dos elementos.