How do you prove #sin 5pi/12 = sin pi/6 cos pi/4 + cos pi/6 sin pi/4#?