2bbd863643
In the tire-component lemma the induced subgraph that becomes the tire
graph was named C, clashing with C used everywhere else for cycles
(seam cycles C_T, cycle graphs C_n, the seam cycle C in Def 1.16).
Rename it to T_{C'} throughout the lemma statement, its proof, and the
degenerate-boundary remark, so C/C'/C_T are uniformly reserved for
cycles and components.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>