T1证明有误，C最大可以等于S，此时2*C-S=S=C，但(2*C-S)%S = 0，此时另一个数S-C=0。因为当S-C>C时，另一个数变为S-2*C>0，所以只有初始状态C=S时才有可能会发生这种情况。换句话说，对于所有0 0 C k都该输出C，而std及其推导都给出了错误答案0