什么是切割线定理的推论?