Bevis for vektorprojektion