proof-by-contradiction - Alemán Inglés Diccionario