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: ...

However, now a more accessible proof is possible. 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 ...