Os números inteiros. Definição de número inteiro ímpar e de número inteiro par. Demonstração de que o produto de dois números inteiros ímpares é um inteiro ímpar. A proposição que diz que se a soma de dois inteiros é ímpar, então um deles é par. Isto é equivalente a ver que a soma de dois inteiros ímpares é par (é o contrarrecíproco do que se quer demonstrar).