Every time I use Euclid's algorithm, I go through the same lengthy process of convincing myself of why it works. Hopefully this blog post will allow me to shorten that process by referring back to this post instead.
The entirety of Euclid's algorithm is as follows: