Линейная алгебра. Алексей Савватеев и Александр Тонис. Лекция 11.5. Док-во ортогональности векторов