Tangent secant power theorem