linearization theorem