Thm 5 (converse of angles in the same segment)