theorem :: EUCLID_8:19

<e3> <X> <e2> = - <e1>