Kí hiệu A, B, C lần lượt là tập hợp các viên sỏi trong cùng một đống sỏi và \(f\left(A\right),f\left(B\right),f\left(C\right)\) lần lượt là số dư của số viên sỏi trong đống đó khi chia cho 3. Khi đó \(f\left(A\right)=1;f\left(B\right)=2;f\left(C\right)=0\)
Nghĩa là \(f\left(A\right),f\left(B\right),f\left(C\right)\) đôi một khác nhau. Ta sẽ xét trường hợp tổng quát, là số sỏi trong mỗi đống thỏa mãn \(f\left(A\right),f\left(B\right),f\left(C\right)\) đôi một khác nhau (chứ không chỉ riêng TH 10, 11, 12). Giả sử \(f\left(A\right)=1;f\left(B\right)=2;f\left(C\right)=0\). Có tất cả 3 trường hợp xảy ra của phép biến đổi:
TH1: Lấy 2 viên sỏi, mỗi viên từ đống A và B, sau đó thêm vào đống C viên. Khi đó sau phép biến đổi, \(f\left(A\right)=0,f\left(B\right)=1,f\left(C\right)=2\).
TH2: Lấy 2 viên sỏi, mỗi viên từ đống B và C, sau đó thêm vào đống A. Khi đó sau phép biến đổi thì \(f\left(A\right)=0;f\left(B\right)=1;f\left(C\right)=2\)
TH3: Lấy 2 viên sỏi, mỗi viên từ đống A và C, sau đó thêm vào đống B. Khi đó sau phép biến đổi thì \(f\left(A\right)=0;f\left(B\right)=1;f\left(C\right)=2\)
Như vậy, từ vị trí ban đầu, cho dù ta thực hiện phép biến đổi như thế nào thì \(f\left(A\right),f\left(B\right),f\left(C\right)\) vẫn luôn đôi một khác nhau. Chính vì vậy, không thể xảy ra trường hợp 3 đống sỏi có số sỏi bằng nhau vì khi đó \(f\left(A\right)=f\left(B\right)=f\left(C\right)\)