Em matemática, um contraexemplo é usado para refutar uma declaração. Se você quiser provar que uma afirmação é verdadeira, deve escrever uma prova para demonstrar que é sempre verdadeira; dar um exemplo não é