Show that any subring $R\subseteq L$ is a field if $K\subseteq L$ is module-finite field extension and $K\subseteq R$..
Why does the integral domain "being trapped between a finite field extension" implies that it is a field?