This includes basic notions such as sets and functions: Properties of sets, definition and properties of functions; logarithms and exponentials: and their properties; basic series summations: ...
We present in Section 7.3 a short proof of Thomassen [Th97c] which is based on two other important results in the Robertson-Seymour theory, namely Theorem 7.2.1 (well-quasi-ordering of graphs of ...