Seymour's decomposition theorem