prove: 'delete' preserves property of 'bst'