si A = "tous les noeuds sont accessibles par tous les autres noeuds" est VRAI
alors B =" on peut atteindre n’importe quel quartier de production depuis n’importe quel quartier de logement" est aussi VRAI
Avec l'algo de Dijkstra disponible au niveau du Modèle Il se trouve que montrer que A est VRAI demande moins d'effort à décrire que montrer que B est VRAI.