Question 1113738
.
Does [sqrt2(cos(x)+i*sin(x))]^12 = 64(cos(12x)+i*sin(12x))?
~~~~~~~~~~~~~~~~~~~~


<pre>
Yes, it does.
</pre>