Comme la forme bilinéaire est non dégénérée, pour tout sous-espace vectoriel de , on a : .