theorem :: EUCLID_8:5

|.<e2>.| = 1