Prove sin x y