füge Nullstellensuche zur irredsuche hinzu