Le est le résultat local-global que constitue l'injectivité du morphisme de gauche.
C'est-à-dire que si le morphisme de gauche est injectif, alors le résultat local-global est vrai. En d'autres termes, si le morphisme est injectif localement, alors il est injectif globalement.