Can you prove #\sin 3a \cos a - \cos 3a \sin a = 2\sin a cosa#?