theorem :: EUCLID_8:21

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