Talk:Bézout's identity Wikipedia
And if c is any other common divisor of both 6893 and 2867 then c must certainly be a divisor of 2867x+6893y... but this means c is a divisor of d. So d is not just some common divisor of 6893 and 2867 it is their greatest common divisor.