formal proof - Alemán Inglés Diccionario