Existencia de máximo común divisor

En este vídeo daremos una demostración que no se suele ver seguido, la de la existencia de un máximo común divisor.