I was told that the following theorem is in Demazure, and Gabriel's book Introduction to Algebraic Geometry and Algebraic Groups, but I could not find the theorem. The theorem is that a principal $ \mathbb{G}_{a} $-bundle over an affine variety is trivial. Does someone know a reference?