$n$堆石子，每次可以从一堆里面取任意个石子，或者选择某堆至少为$2$的石子，分成两堆非空石子。

$SG(0) = 0, SG(1) = 1, SG(2) = 2, SG(3) = 4$。

$k\ge 1$时,$SG(4k)=4k-1,SG(4k+1)=4k+1,SG(4k+2)=4k+2,SG(4k+3)=4k+4$

如何证明？

以及，做博弈论题目时候的SG函数一般怎么求出来？