Linearization theorem