请问各位大佬，

for(int j = i ; j ; j = (j - 1) & i)

是什么意思，我不这样写就T，这样写就A，题解也没有讲。怎么证明这个的正确性呢？