Eine lineare Abbildung ist eindeutig durch die Bilder der Basisvektoren bestimmt.
Wenn {b, c} linear unabhängig ist
Dann ist {b,c}∪B linear unabhängig, weil
v∈B∑avv+abb+acc⟹v∈B∑avv⟹v∈B∑avv⟹v∈B∑vav=0=−abb−acc=0∧−abb−acc=0=0∧ab=0∧ac=0
wegen [B]∩[{b,c}]={0} wegen b,c∈V∖[B].
Wenn {b, c} ∪ B linear unabhängig ist,
Siehe (A)
Wenn {b, c} linear abhängig ist
Dann gibt es ein a=0 mit a⋅b=c, weil b,c=0.