El tamaño del resto es siempre menor que la longitud del divisor, que, por lo tanto, determina el tamaño del resultado.