证明辅助

给定定理，辅助构造证明思路和关键步骤