有余数除法的五个关系式