Der ‘bewiesene Satz’ drückt aus, was aus dem Beweisbild abzulesen ist.

96