Soit on veut montrer

Soit un élément de Cela veut dire que a un antécédent dans

Dire que est dans signifie que est dans

On a donc montré :