Wann ist ein LGS nicht lösbar?