two-column proof - Francés Inglés Diccionario