Given a BST and two values present in it, return the value of their lowest common ancestor.
How does BST ordering avoid a full tree traversal?