در  تقسیم عدد صحیح $a$ بر عدد طبیعی $b$، خارج قسمت و باقی‌مانده به ترتیب برابر $q$ و $r$ هستند.کدام رابطهٔ زیر همواره درست است؟
1 $(a,r)=(b,r)$
2 $(a,b)=(b,r)$
3 $(a,q)=(b,q)$
4 $(a,b)=(a,r)$