theorem :: EUCLID_8:33
- <e3> = |[0,0,(- 1)]|