RT，对于 $(a+b)\mod c=(a\mod c+b\mod c)\mod c$，证明好像要循环论证（或者说 lz 只会循环论证），想知道有没有严谨的证明方法