theorem :: EUCLID_8:12

|(<e3>,<e3>)| = 1