start proving about binary-search tree