o equivalentemente, existe un entero "k" tal que "sr" = "kq" + 1.