added dynamic proof, and the beginning of a divide and conquer proof. feel free to help on the remaining proof :D