Translation of "Zahlenmäßiger nachweis" in English