该我问一个问题了，困扰我多年的问题~~关于模运算

0216789abc

我想大家都知道，在C语言里面的%运算符，也就是模运算符，取余运算
这个运算符的规则是：%运算符的结果总之与被除数同号。
也就是 2%3=2      -2%3=2         5%2=1       -5%2=-1
对此，C语言的解释是：C99标准里规定，如果a和b是整型，b不等于0，则表达式（a/b）*b+a%b的值总是等于a。所以：%运算符的结果总是与被除数同号。
那个规定是怎么推导出结果来的啊？我左看右看就是看不出个所以然来……特此发帖求助~~~