https://123dok.net/document/nq7vx9nq-le-foncteur-v-f-2-v-otimes-3-entre-f-2-espaces-vectoriels-est-noetherien.html