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