sentence1: Où formule 11 est l'inclusion naturelle sur le facteur naturel et formule 12 est la première projection sur le second facteur.
sentence2: Où Formule 11 est l'intégration naturelle sur le facteur naturel et Formule 12 est la première projection sur le second facteur.