Bézout's Identity and Extended Euclidean Algorithm for GCD and LCM