theorem :: EUCLID_8:33

- <e3> = |[0,0,(- 1)]|