How do you prove #sin4x = 4sinxcos^3x - 4sin^3xcosx#?