Vertical path theorem and its corollaries

以上为机器翻译结果，快速获取精准的人工翻译结果，建议选择有道人工翻译