This is commonly known as a substitution theorem, and can be proved by induction on the depth (or structure) of the second judgment.
这通常叫做“代换定理”，并可以通过关于第二个判断的深度(或结构)的归纳法证明。