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
-
