Demonstration of the angles at the same segment