Pozn. 6L4. Definícia je korektná.
Pre LZ vektory a, b je G(a, b) = (aa).(bb) - (a.b).(a.b) = 0, takže podmienku b) spĺňa iba nulový vektor. Nulový vektor je kolmý na každý vektor, teda spĺňa aj podmienku a).

Ak vektory a, b sú LN, tak G(a, b) > 0, teda |c| > 0, pričom tejto nerovnosti vyhovujú dva nenulové navzájom opačné vektory c, -c, ktoré vyhovujú aj podmienke a). Práve jedna z báz <a, b, c> a <a, b, -c> priestoru orV³ je kladná, a tá spĺňa podmienku c).