Hur kommer de fram till det här?

||x+y||² är väl <x+y, x+y>

Alltså kvadraten av normen av en vektor är väl dess skalärprodukt med sig själv?