informal indirect proof - Alemán Inglés Diccionario