How do you prove #sin8x = 8sinx cosx cos2x cos4x#?