User talk:Steeefan

$$\forall A\exists B$$ B$$\subseteq$$ A = $$\exists B\forall A$$ B$$\subseteq$$ A