===Exemplos da Seção 4.2===
=====EXEMPLO Exemplo 1 (E1, pág 314)=====
'''Provar que em qualquer grupo de três números inteiros positivos, existem pelo menos dois, cuja a soma é par.'''
[[Solução: EXEMPLO Exemplo 1 (E1, pág 314)]]
'''EXEMPLO ===== Exemplo 2 (E2, pág 314)====='''Se forem escolhidos inteiros positivos aleatoriamente, qual é o número mínimo que podemos garantir que dois dos números escolhidos sejam congruentes módulo 6.'''
'''[[Solução:'''Para que A e B serem congruentes módulo 6, temos de ter a mod 6 = b mod 6. Mas existem 6 possibilidades para x mod 6: 0, 1, Exemplo 2, 3, 4, ou 5. Portanto, 7 inteiros positivos devem ser escolhidos de modo a garantir que, pelo menos, dois sejam congruentes módulo 6.(pág 314)]]
'''EXEMPLO (E3, página 314)'''