c) Wenn s1,s2,s3,s4 die 4 Spalten sind, dann heißt das doch,
Es gibt abcdef mit
as1+bs2+cs3=s4 und ds1+es2+fs3=s4 #
==> as1+bs2+cs3= ds1+es2+fs3
==> (a-d)s1+(b-e)s2+(c-f)s3= 0 ##
Und da es bei # verschiedene Linearkombinationen sind,
ist mindestens eine Klammer ungleich 0, also ist
## eine nichttriviale Lin.komb.
des Nullvektors.
==> s1,s2,s3 lin. abh.