Suponha que precisamos provar que a proposição é verdadeira