Алгем-алгемчик: Определение евклидова векторного пространства. Свойства скалярно