neue Theoreme mit und ohne Labels, bestehendes Dokument dahingehend angepasst