for V being finite-dimensional RealNormSpace st dim V <> 0 holds
ex L being LinearOperator of V,(REAL-NS (dim V)) st
( L is one-to-one & L is onto & L is isometric-like )