From Quotient-Remainder Theorem to Euclidean Algorithm for ...