"proof by contradiction" Deutsche bedeutung