Division par zéro: distributivité par addition ou multiplication

Lemme 3: dans une multiplication de plusieurs éléments entre eux, il suffit que l'un d'entre eux soit en non vie pour que le résultat soit en non vie.
Ex: a*b*c*d*non vie de e = non vie de (a*b*c*d*e)

Lemme 4:
non vie de (a*b*c) = non vie de (a+b+c) = non vie de a + non vie de b + non vie de c

EN NON VIE LES OPERATIONS NE SONT PAS ACTIVES! LES ELEMENTS RESTENT DISTINCTS!

C'est pour rester logique et cohérent: Les opérations ne peuvent s'effectuer que sur l'ensemble en Vie, celui dans lequel on EST.