Existenzsatz: Die allgemeine lineare Gleichung mx + n = 0 ist reell genau dann eindeutig lösbar, wenn m 0.