For all $w\in V$ such that $B(w,w)>0$, define $$s_w : v \mapsto v - 2\frac{B(v,w)}{B(w,w)}w.$$ Show that for all $u,v\in\mathcal{H}$, there exists $w\in V$ such that $B(w,w)>0$ and $s_w(u)=v$.
For all $w\in V$ such that $B(w,w)>0$, define
$$s_w : v \mapsto v - 2\frac{B(v,w)}{B(w,w)}w.$$
Show that for all $u,v\in\mathcal{H}$, there exists $w\in V$ such that $B(w,w)>0$ and $s_w(u)=v$.