-
amsthm durch ntheorem ersetzt