The conclusion of Theorem 1.2, namely \(a|\left(b-c\right)\), is the definition for the congruence (modulo \(a\)) of \(b\) and \(c\). So, we may expand the theorem to state that if \(a|b\) and \(a|c\), then \(b\equiv c\) (mod \(a\)).