The theorem which underlies the definition of the Euclidean division ensures that such a quotient and remainder always exist and are unique.
Το θεώρημα που διέπει τον ορισμό της Ευκλείδειας διαίρεσης εξασφαλίζει ότι ένα τέτοιο πηλίκο και υπόλοιπο πάντα υπάρχουν και είναι μοναδικά.