一维树状数组的查询存在这种写法：

//假设统计区间和
int cha(int tree[],int l,int r){
	l--;
	int ans=0;
	while(r>l)ans+=cha[r],r-=lowbit(r);
	while(l>r)ans-=cha[l],l-=lowbit(l);
	return ans;
}

能否证明这种写法的正确性？（板题能过）。