[math-fun] The Origin of Membrane Bioenergetics