Euclidean algorithm
where "u" and "v" are selected (by the Euclidean algorithm) so that .