A consequence of the vertical path theorem

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