Existenzsatz für lineare Gleichungssysteme