Constructive Bézout Identity via the Extended Euclidean Algorithm