Bezout Characterisation of the Greatest Common Divisor