There exist integers x and y such that xa + yb = 1. Multiply this relation by c:
Since a | xac and a | bc (and hence also a | ybc) we get that