Bézout's Identity on Principal Ideal Domain