On Grothendieck---Serre's conjecture concerning principal G-bundles over a reductive group scheme

Let R be a regular semi-local ring containing an infinite perfect subfield and let K be its field of fractions. Let G be a reductive R-group scheme satifying a mild "isotropy condition". Then each principal G-bundle P which becomes trivial over K is trivial itself. If R is of geometric type, then it suffices to assume that R is of geometric type over an infinite field.