Теорема за мярката на ъгъл, чийто връх е външна точка за окръжността