Prove que, dado inteiro a, não existe um inteiro b que esteja entre a e a + 1. Sugestão: use algoritmo de Euclides.