欧几里得除法引理与算法有什么区别？

欧几里得除法引理是一个被用作证明其他陈述的已证实陈述，而算法则可以被称作一系列明确的步骤，可以给出一类除法问题的求解过程。