https://1library.org/document/qo3k025q-veri-cacao-de-propriedades-do-calculo-lex-coq.html