theorem :: EUCLID_8:10
|(<e1>,<e1>)| = 1