two-column proof - Alemán Inglés Diccionario