theorem :: EUCLID_8:6

|.<e3>.| = 1