fix secant angle proof