Rééquivalent prédicatif ERF problème de vb ?

Biensur raoul.S
Pour toute famille de diagramme tetra-distribuant dont les sous éléments sont des semi ouvert de Grothendieck de distributions semi-khadeennes (en tant qu'objet de la catégorie tri-duale qu'ils engendrent dans la catégorie co-droite de leur bi-foncteurs reticulés pleins associés ) où toute e-pomme s'injecte au sens de Guillaume Tell dans toute variété QUELCONQUE À DROITE quotientée par un ensemble sous-plein non co-vide convenable , il existe deux 3-flèche trivialistiquement semblablisable telle que deux esquisse indistingables qui les séparent au sens de vb, soientt ERF si on les tire d' un arc dont l'ensemble multicodre est infini si et seulement si on peut en identifier deux flèches de longueur -1 sans rendre leur diagramme de Verdeem meta-commutatif.