En utilisant le complémentaire d'une réunion on obtient :

puisque l'intersection est associative.

L'\cap étant associative, on a :

Donc :