two-column proof - Spanisch Englisch Wörterbuch