EgbertRijke formalized the euclidean algorithm