Niezmiennik pętli

Witam, mam taką pętlę:

 int a,x,s;
    x=a;
    s=0;

    
    while(x>0)
    {
        s=s+a;
        x=x-1;
    } 

Jaki jest wynik działania programu i jak sformułować niezmiennik? Głowię się z tym już kawał czasu :/

Wynik czyli pewnie dla Ciebie wartości zmiennych na koniec będą takie, że:
x jak nie trudno zgadnąć będzie = 0,
a to jakieś określone a - pewnie sobie możesz ustalić,
s=a^2.

Jeśli chodzi o niezmiennik to powiedziałbym, że jest to s == a*(a-x)