theorem :: EUCLID_8:32

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