Lemme 6 : La division d'un nombre en Non Vie par un Nombre en vie conduit à donner un résultat en non vie par enumeration des deux éléments qui deviennent tous deux en non vie.
Oui, je sais, c'est un peu lourd à écrire mais c'est un résultat évident si vous comprenez ce que je dis.
Mais rien ne peut égaler un exemple simple:
soit non vie de a appartenant à non vie de A , soit vie de b appartenant à vie de B. et tel que A est la non vie de B.
non vie de a/vie de b = enum (non vie de a, non vie de b)
Mais le fait d'avoir effectué cette opération ne conduit pas à ETRE dans A . le zéro de B a absorbé le résultat.
Essayer de vous représenter cela, de visualiser cette opération.
