How do you show that 2 \sin x \cos x = \sin 2x? is true for (5pi)/6?