"mathematical proof" Deutsche bedeutung