12.7.3 取余