umie ktoś wytłumaczyć dlaczego wynik wychodzi 4?

Przebieg tej funkcji wygląda następująco:
START
a = 12, b = 20
TAK, a>0
a = a%b (% - modulo - reszta z dzielenia)
a = 12%20 = 12
b = b-a = 20-12 = 8
TAK, a>0
a = 12%8=12-8=4
b = 8-4 = 4
TAK, a>0
a = 4%4=4-4=0
b=4-0=4
NIE, a==0
wyprowadź(b), b=4
STOP