Nice triples and the Grothendieck–Serre conjecture concerning principal G-bundles over reductive group schemes