Analiza zmian wartości zmiennych występujących w algorytmie pokazuje, że:
• zmienna a przyjmuje jako wartości kwadraty kolejnych liczb naturalnych,
• zmienna r przyjmuje wartości kolejnych liczb nieparzystych.
Wartość obliczona przez algorytm jest równa dokładnie wartości pierwiastka z liczby x tylko wtedy, gdy x jest kwadratem liczby naturalnej.
Po wyjściu z pętli wartość i jest równa liczbie powtórzeń pętli i jest o 1 większa niż wartość całkowitego pierwiastka z liczby x.