El teorema que subyace a la definición de la división euclidiana asegura que dicho cociente y residuo siempre existen y son únicos.