Будет ли линейное пространство евклидовым

Обозначим новое скалярное произведение векторов x и y — x*y, тогда следует проверить аксиомы:
s1)λx*y=λx*y,
s2)x+z*y=x*y+z*y,
s3)x*y=y*x,
s4)x*x>0 для любого x≠0.
а) Имеем
x*y=xy=xi2yi2.
Чтобы доказать то, что такое линейное пространство не будет евклидовым, достаточно привести один контрпример . Рассмотрим арифметическое векторное пространство R2 и аксиому s2)