II.P16 — Holonomy Triviality

At each finite stage, the holonomy group of the flat connection is trivial. Z/M_k Z is simply connected as a discrete set, so all loops are contractible. The profinite limit may acquire nontrivial holonomy from π₁(L) = Z.