investigation 1 3.7, angle bisector concurrency conjector