correctness proof - Alemán Inglés Diccionario