https://thelogiclibrary.com/euclidean-algorithm/