Prove the euclidean algorithm for natural numbers