theorem :: EUCLID_8:10

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