theorem Th6:
  |[x1,y1,z1]| + |[x2,y2,z2]| = |[x1+x2, y1+y2, z1+z2]|
proof
A1: |[x1, y1, z1]|`3 = z1 & |[x2, y2, z2]|`1 = x2;
A2: |[x2, y2, z2]|`2 = y2 & |[x2, y2, z2]|`3 = z2;
  |[x1, y1, z1]|`1 = x1 & |[x1, y1, z1]|`2 = y1;
  hence thesis by A1,A2,Th5;
end;
