Secant Segments Theorem Discovery