Finalmente, sea "d'" cualquier otro divisor común de "a y b".