Tome um $a$ qualquer e considere o conjunto enumerável $B=\{\xi : a \in F_\xi \}$. Mostrar que para cada $a$ existe $\gamma$ tal que para todo $\eta \geq \gamma$ temos que $a \notin F_\eta$ é equivalente a mostrar que existe um $\gamma$ onde para todo $\xi \in B, \xi < \gamma$. Demonstramos isso no exercício anterior.