lateinische Abkürzung. Bedeutung: was zu beweisen war. Traditioneller Abschluß einer mathematischen Beweisführung.