Angles in the same Segment (Proof)