https://blogdoprofh.com/2019/10/11/prova-indireta-da-validade-de-um-argumento-reducao-ao-absurdo/