We prove that the canonical Thurston obstruction for a sub-hyperbolic
semi-rational branched covering exists if the branched covering is not
CLH-equivalent to a rational map.
We prove that a cubic polynomial at an irrationally indifferent fixed point
is linearizable if and only if the rotation number of the polynomial at this
fixed point is a Brjuno number.