It is proven that there are Euclidis algorithms in all algorithms that are given from the relation IN(a-gb) I<IN (b) I, except in A(SQR19) and
A(SQR 97).
Αποδεικνύεται ότι υπάρχουν ευκλείδεια αριθμοσώματα που δίδονται απ' την σχέση ΙΝ (α-ζβ ) Ι<ΙΝ (β )Ι, εκτός των Α (SQR 19) κ' Α ( SQR 97 ).