theorem :: EUCLID_8:31

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