informal indirect proof - Spanisch Englisch Wörterbuch