Bevis for vektorprojektion v. 2