An analytical proof for the stability of Heimburg-Jackson pulses