new operation 'lend' and 'rend'
prove: relations between bst and lend (rend)
update documents