There are two different statements, each separately known as the greatest common divisor theorem.
1. Given positive integers and
, it is possible to choose integers
and
such that
, where
is the greatest
common divisor of
and
(Eynden 2001).
2. If
and
are relatively prime positive integers, then there exist positive integers
and
such that
(Johnson 1965).