Теорема о существовании и единственности отношения ортогональности векторов