i'm lost at the beginning it has the property that any g principal bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle a pull back induced by what map the only map even hinted at is the quotient map but it is not obvious how this map is related to the arbitrary paracompact manifold