Euclid's division lemma states that for positive integers \(c\) and \(d\), there exist unique integers \(q\) and \(r\) such that \(c = dq + r\), where \(r\) must satisfy