Theorem 1.2: If \(a|b\) and \(a|c\), then \(a|\left(b-c\right)\)