Let $R$ be a regular semi-local domain, containing a field. Let
$G$ be a reductive group scheme over $R$. We prove that a principal
$G$-bundle over $R$ is trivial, if it is trivial over the fraction
field of $R$. If the regular semi-local domain $R$...