Flyspeck/lemma-1-11.tex

If $$y\in[-1,1]$$, then $$\sin(\arccos(y)) = \sqrt{1-y^2}$$.