`If'
From a relation af + bg = 1 we infer that a common divisor of f and g must be a divisor of the left-hand side af + bg and therefore of 1. So the gcd is 1.

`Only if'
The `only if' implication is an immediate consequence of the extended Euclidean algorithm.