Choose local sections related by , where . Keeping the same point of the principal bundle requires , so . For reconstruction of a principal connection from local gauge potentials, the local principal connection form transforms as
Using , compute
and
The inhomogeneous terms cancel. Thus : both local expressions define the same one-form on the total space. This is compatibility across trivializations, whereas describes the separate right-action equivariance of a principal connection. In particular a change of trivialization is not an assertion that the local gauge potential of a principal connection itself is unchanged.