歐幾里得除法引理與演算法有什麼區別？

歐幾里得除法引理是一個被用作證明其他陳述的已證實陳述，而演算法則可以被稱作一系列明確的步驟，可以給出一類除法問題的求解過程。