theorem Th3: :: ANPROJ11:3

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