Prinzip der vollständigen Fallunterscheidung am Beispiel der Lösbarkeitsfälle von linearen Gleichung..