- <e1> = |[((- 1) * (<e1> . 1)),((- 1) * (<e1> . 2)),((- 1) * (<e1> . 3))]| by Lm1
.= |[(- 1),0,0]| ;
hence - <e1> = |[(- 1),0,0]| ; :: thesis: verum