[TnFn] Lücken füllen

Verschiedene Lücken im Beweis von TnFn müssen gefüllt werden.

Edited by Tadeusz Litak