Atualização do Dicionário de Demonstrações

Inclusão do fecho sob intersecção das linguagens regulares!