"indirect proof" Deutsche bedeutung