Neulich beim Kaffee-Trinken ging es mal wieder darum, wie ausführlich Beweise in mathematischen Arbeiten aufzuschreiben seien.