Wenn es hier eine Prüfung gibt so ist es immer ◇◇◇ ob alle n die oder jene || nicht die Eigenschaft haben aber nicht ob alle sie haben oder einige sie nicht haben. Wir haben dann ein System von Induktionen &
rechnen z.B. aus, daß alle Gleichungen der Klasse || dieser Klasse eine rationale Lösung haben dagegen nicht die der Klasse 5 etc.