Euclidean Algorithm (Proof)