Sejam dois números inteiros pares, positivos e consecutivos. A diferença entre a metade da soma dos dois números e o menor dos dois números, nessa ordem, é sempre
