This follows since dualizing each statement in the proof "in C" gives a statement of the proof "in C*."
Это следует из того, что дуализация каждого утверждения в доказательстве «в C» даёт утверждение в доказательстве «в C*».