Wie zeigt man dass ein LGS keine Lösung hat?