Analise o algoritmo de Euclides a seguir, que permite a determinação do Máximo Divisor Comum - MDC entre dois números inteiros (x e y)

INÍCIO

1. Pedir para o usuário fornecer valores inteiros para x e y.

2. Enquanto y e” 0 Faça

3. r resto da divisão entre x e y.

4. x y.

5. y r.

6. Fim enquanto.

7. Exiba para o usuário o MDC procurado e que está em x.

FIM

Supondo-se que a entrada do usuário seja 5 e 2, ou seja x=5 e y=2, podemos concluir de forma correta que