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