Die mathematischen Sätze als Mittel um die Beweise zu katalogisieren. (Ursell)