What is the proof of Euclid's algorithm?
How do I prove Euclid's algorithm?