"proof, analysis" Deutsche bedeutung