6˙1136
Immer kann man aber die Logik so auffassen daß jeder Satz sein eigener Beweis ist.