theorem Th11: :: ANPROJ_8:13

for a, b, c, d, e, f being Real st a <> 0 & ((a * b) + (c * d)) + (e * f) = 0 holds
b = (- ((c / a) * d)) - ((e / a) * f)