"arithmetic proof" Deutsche bedeutung