All and only rims have more than one continued traction expression.
Proof:
In the proof of All points are tractable, there is no choice in which traction to choose for {$F_k$} unless {$(F_0F_1F_2\ldots F_{k-1})^{-1}T$}
