Existenzsatz: Das lineare Gleichungssystem y = mx + n und y = ax + b ist genau dann eindeutig lösbar, wenn ma.