Equivalence of Definitions of Balanced Prime

Theorem
The following definitions of a balanced prime are equivalent: