Source: https://mathinldh.ouvaton.org/xmedia/doc spe/AlgoEucl-Bezout.pdf