for X being RealUnitarySpace holds {} is OrthogonalFamily of X