Caros Colegas, Como demonstrar, sem recorrer ao algoritmo da divisão euclidiana, o 'Teorema de Eudoxius':
Dados os inteiros a e b, com b diferente de zero, então a é múltiplo de b ou se encontra entre dois múltiplos consecutivos de b. Obrigado a todos! Pedro Chaves -- Esta mensagem foi verificada pelo sistema de antivírus e acredita-se estar livre de perigo.

