What is a good reference for the following statement:
The transcendence degree of a separably generated field extension $K/L$ is equal to the dimension of the $K$-vector space of derivations $D:K\to K$ that kill $L$.
This statement is used in the very beginning of Mumford's book "Complex projective varieties".