Теорема о середине отрезка: существование и единственность