\exists A \in F~\exists a \in A~\forall B \in F~[a \in B \Rightarrow A\setminus \{a\} \cap B\setminus \{a\} \neq \emptyset]