Dúvida vetor (sorteio sem repetir)

Boa noite, assistindo a aula sobre esse assunto entendi a explicação: pra cada posição sorteada deve ser feita uma varredura em todas as posições anteriores para verificar se não tem nenhum número repetido, caso seja encontrado sorteia um número novamente, caso não seja encontrado o sorteio prossegue normalmente. A dúvida que eu fiquei foi em relação a estrutura “para”. Sei que é ela que faz a varredura, mas não entendi como ela volta pro zero cada vez que um número é sorteado.

programa
{
	inclua biblioteca Util
--> u
	
	funcao inicio()
	{
		inteiro vet[10]
		inteiro p=0
		logico encontrado
		
		enquanto (p<u.numero_elementos(vet)) {
			vet[p]= sorteia (1,10) 
			encontrado= falso
			para (inteiro aux=0; aux<p; aux++) {
				se (vet[p]==vet[aux]) {
					encontrado= verdadeiro
					pare
				}
			}
			se (nao encontrado) {
				p++
			}
		}
	}
}