<<
... und beweist jedesmal ...
>>