Znalezienie zbieżnika pętli – prośba o wytłumaczenie

Witam mam problem z zadaniem, czytałem o zbieżnikach i niezmiennikach ale nie mogę poradzić sobie z tym przypadkiem, z góry dziękuję

1. Uzasadnij, że poniższy program zatrzymuje się poprzez znalezienie zbieżnika pętli. Oczywiście należy dokładnie uzasadnić, czemu znalezione wyrażenie jest zbieżnikiem.

int funkcja(int a, int b)
{
    while(a >= 0 && b >= 0)
    {
        if(a < b)
        {
            zamien(a, b);
        }
        else
        {
            a = a - 1;
        }
    }

    return a;
}