除3余数函数公式