for V being finite-dimensional RealUnitarySpace holds
( dim V = 0 iff (Omega). V = (0). V )