"analytic proof" Deutsche bedeutung