As k increases, the search only needs to check those residues b that are not eliminated by lower values of k.
Καθώς το k αυξάνεται, η αναζήτηση αρκεί να ελέγχει τα υπόλοιπα b που δεν εξαλείφθηκαν από τις μικρότερες τιμές του k.