 The proof is replicated from the reference (Flax 2008) here.We wish to show that when the flux is zero, the transmembrane potential is not zero.Formally it is written formula_3 which is equivalent to writing formula_4, which states that when the transmembrane potential is zero, the flux is not zero.