Nach der
Definition
ist
-
und ist der einzige Vektor mit dieser Eigenschaft.
(1). Es ist einerseits nach der Vorbemerkung
-
und andererseits nach der ersten Eigenschaft der Definition
-
also ist
-
(2). Es ist einerseits
-
und andererseits
-
also ist
-
(3). Es ist
-
also ist
-