BST insert proof

Still not completed
Work on prop