Considere o código python abaixo:   def xpto(n1,n2):     While n1 != n2:            If (n1 < n2)                n2 = n2 – n1            Else:      ...

O valor impresso pelo comando xpto(20,5) é 5. O código é uma implementação do algoritmo de Euclides para encontrar o máximo divisor comum entre dois números. No caso, o algoritmo é executado enquanto n1 e n2 forem diferentes. Se n1 for menor que n2, n2 é atualizado para n2 - n1. Caso contrário, n1 é atualizado para n1 - n2. Quando n1 e n2 forem iguais, o valor de n1 é retornado. No caso de xpto(20,5), o algoritmo é executado da seguinte forma: - n1 = 20 e n2 = 5 - 20 é maior que 5, então n1 é atualizado para 20 - 5 = 15 - n1 = 15 e n2 = 5 - 15 é maior que 5, então n1 é atualizado para 15 - 5 = 10 - n1 = 10 e n2 = 5 - 10 é maior que 5, então n1 é atualizado para 10 - 5 = 5 - n1 = 5 e n2 = 5 - n1 e n2 são iguais, então o valor de n1 (5) é retornado.