Über die Berechnung <
(
0
2
2
1
)
,
(
1
1
1
1
)
> ^ = Ker
(
0
2
2
1
1
1
1
1
)
= <
(
1
0
1
−2
)
,
(
0
1
−1
0
)
>
und die anschließende Orthonormalisierung der Erzeugersequenz erhält man
16
(
0
1
−1
0
)
,
116
(
1
6
−5
−2
)
als eine orthonormale Fortsetzung von
(
0
2
2
1
)
,
(
1
1
1
1
)
.