Associativité démontrée en calculant les fonctions caractéristiques des deux membres :