программирование - Алгоритм Евклида НОД

var a,b,c: integer;

begin
  writeln('Введите a,b: ');
  read(a,b);  
  while b<>0 do
  begin
    c := a mod b;
    a := b;
    b := c;
  end;
  writeln('Наибольший Общий Делитель = ',a);
end.

Почему он работает правильно без проверки что if a>b?

Ввожу, к примеру, (18,4), a присвоилось 18, b присвоилось 4, тут всё верно, НОД = 2, а если (4,18), то также НОД = 2. Почему работает без проверки условия?