If he wants to use a path-independent integral, he must first prove that it satisfies Green's condition. Obviously there is, and the cause has nothing to do with it, so he can take a disconnection at will. He took ACB for the convenience of calculation, because on AC, y=0 and dy=0, and directly substituted it to get ∫ (0, x) 2xdx = X.