for a, b, c being Real
for V being non trivial RealLinearSpace
for u, v, w being Element of V st a <> 0 & ((a * u) + (b * v)) + (c * w) = 0. V holds
u = (((- b) / a) * v) + (((- c) / a) * w)