Let n be a natural number. Prove by induction that there is a formula for sin(_n-1ⁿ x_j ) as sums

and differences of 2^n-1 terms each of which is a product of n factors, the jth of which is either cosx_j or

sin(x_j) .