bkb-切割线定理