Correctness Proof for a Dynamic Adaptive Routing Algorithm for Mobile Ad-hoc Networks