Exercise 28, § 5

Let $k$ be a field, $k'$ an extension of $k$. Prove that for every extension $k''$ of $k$, $k' \otimes_k k''$ is a noetherian regular ring if and only if $k'$ is a separable extension of finite type of $k$.