theorem Th4: :: ANPROJ11:4

for a, b, c, d, e being Real holds |{|[1,0,a]|,|[0,1,b]|,|[c,d,e]|}| = (e - (c * a)) - (d * b)