texto sobre substituir provas que alegam desnecessariamente ser por absurdo por provas completamente por contra-positiva