This result is also referred to as Gentzen's Hauptsatz ("Main Theorem").
这个结果也称为Gentzen的Hauptsatz（"主定理"）。