In other words, a greatest common divisor may exist (for all pairs of elements in a domain), although it may not be possible to find it using a Euclidean algorithm.
Με άλλα λόγια, ένας μέγιστος κοινός διαιρέτης μπορεί να υπάρχει (για όλα τα ζεύγη των στοιχείων μιας ομάδας), αν και μπορεί να μην είναι δυνατόν να βρεθεί χρησιμοποιώντας ένα Ευκλείδειο αλγόριθμο.