A proof of the Grothendieck-Serre conjecture on principal bundles over regular local rings containing infinite fields

Let R be a regular local ring, containing an infinite 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.