Se toma como representante canónico el par ("a","b") tal que mcd("a","b")= 1.