How do you prove #cos(x-pi/6) = 1/2([sqrt3] cosx + sin x)#?