[TnFn] Lücken füllen

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

Edited by Max Ole Elliger