Wypisywanie czynników liczby >= 2

Chciałbym sprawdzić czy algorytm w postaci listy kroków poprawnie rozkłada dowolną liczbę większą od 2 na czynniki pierwsze. Oto program:
krok 1. i <- 2
krok 2. Dopóki (n mod i) = 0 wykonaj:
n <- n:i;
wypisz i;
jeśli n=i przejdź do kroku 4
krok 3. i <- i+1
krok 4. Zakończ program

1:     i:=2
2:     DOPÓKI N <> 1                       // wykonuj 3 i 6
3:     	DOPÓKI (n mod i) = 0        //  wykonuj kroki 4 i 5
4:     		PISZ i
5:     		n:= n div i
6:     	i:= i+1