Three Theorems

1. Galvin's theorem that the edge chromatic number equals
   the list-chromatic index.
2. Several people's genus additivity theorem (for later use)
3. Whitney's theorem that 3-connected graphs can be uniquely
   embedded in the plane via Tutte (for later use).