theorem Th04: :: BKMODEL2:9

for a, b, c, d, e being Real
for u, v, w being Element of (TOP-REAL 3) st u = |[a,b,e]| & v = |[c,d,0]| & w = |[(a + c),(b + d),e]| holds
|{u,v,w}| = 0