During the loop iteration, a is reduced by multiples of the previous remainder b until a is smaller than b.
Pe parcursul acestei bucle, a este redus cu multipli ai restului anterior b până când a este mai mic ca b.