余数的定义和性质是什么