Mostre que, dados $a \in A$ e $(s, F) \in E_a \cap G$, temos $d \cap a \subset s$.