how to prove sin 45