Ein direkter Beweis für den Zusammenfluss kombinatorischer starker Reduktion