Errata

Só pra corrigir o último post, um argumento ad absurdum parte do princípio que a afirmação a ser provada não é verdadeira e daí chega numa contradição.