proof by contradiction - German English Dictionary