q(b, a): b를 a로 나눈 몫

r(b, a): b를 a로 나눈 나머지



q(r(a, bc), c) = r(q(a, c), b)