6.1265

Immer kann man die Logik so auffassen, dass jeder Satz sein eigener Beweis ist.