Seymour-Konfigurationen fertig, Reduzierbarkeit angefangen