Local uniformization theorem