Adicionados varios exemplos para demostrações anteriores.