Let 𝑝 :˜𝑋 →𝑋 be a regular covering and 𝑥0 ∈𝑋. Let ˜𝑥0,˜𝑥′0 ∈𝑝−1{𝑥0}, and let 𝐻 and 𝐻′ denote the characteristic subgroups with respect to ˜𝑥0 and ˜𝑥′0 respectively. Since 𝑝 is regular, 𝐻 =𝐻′, and by equivalence of coverings criterion the coverings with either base point are equivalent. Hence there exists 𝛾 ∈Γ such that 𝛾(˜𝑥0) =˜𝑥′0.

For the converse, assume Γ acts transitively on 𝑝−1{𝑥0}, i.e. the following diagram commutes for any ˜𝑥0,˜𝑥′0 ∈𝑝−1{𝑥0}:

Applying the Fundamental group functor 𝜋1 to this diagram it is clear that the characteristic subgroups is basepoint-invariant. Therefore 𝑝 is a regular covering.