With ⟨⋅∣⋅⟩ as an Inner Product of V, we can define a Norm ∣∣v∣∣=⟨v∣v⟩,∀v∈V. Note that this is only possible if ∣∣⋅∣∣ is a Nice Norm