For and ,
The connection is therefore flat, so the Frobenius theorem gives horizontal sections locally.
A global section has the form and is horizontal exactly when
The second equation gives , and the first then forces . No such is periodic on , so no global horizontal section exists. Equivalently, the horizontal lift of one positive circuit in the direction changes by
which is nontrivial holonomy.