reserve a, b, c, d, x, y, z for Complex;

theorem Th34:
  x.|.(y+z) = x.|.y + x.|.z
proof
  thus x.|.(y+z) =x*(y*'+z*') by COMPLEX1:32
    .=(x.|.y)+(x.|.z);
end;
