Reduzierbarkeit so gut wie fertig, kurz vor Beweis Satz 2.2