Ohne Rechnung (siehe mathef) bekommt man relativ schnell Verständnis dafür, wieso der Satz gilt:
Aus der Definition von Quotientenräumen (besonders der Definition der Addition):
"Keine nichttriviale Linearkombination von [v1],...[vn] ergibt [0]", das ist äquivalent zu:
"Keine nichttriviale Linearkombination von v1,...,vn landet in U". Da jeder Untervektorraum 0 enthält, folgt daraus:
"Keine nichttriviale Linearkombination von v1,...,vn ergibt 0", also müssen v1,..., vn linear unabhängig sein.
Das nur als Intuition, wieso der Satz Sinn ergibt. Der wirkliche Beweis wurde ja schon gegeben.
LG