Angle at semi-circle is a right angle.