theorem :: EUCLID_8:11

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