Corollary 4

— *Let K, L and M be fields of characteristic 0 such that $K \subset L \subset M$: then the canonical mapping $a : \Omega_K(L) \otimes_L M \to \Omega_K(M)$ is injective. This follows at once from Cor. 1 and $V$, p. 128, Prop. 2.