angle_inscrit_conjecture