La construction du produit tensoriel permet d'affirmer que est une application bilinéaire, que l'on note . De plus g est unique car les éléments de la forme engendrent . Montrons finalement que est ...