Lógica de Programação - Matriz Identidade