모듈러 산술의 일치성과 나머지와 관련된 관계