Определение. Система ненулевых векторов  называется ортогональной, если все векторы этой системы попарно ортогональны.

            Теорема. Ортогональная система ненулевых векторов линейно независима.