Kleinste Gegenbeispiele und unendlicher Abstieg

Wohlordnung nutzen, falsche Minimalinstanzen reduzieren und unendliche positive Abstiege ausschließen.