for a, s, t being Complex holds {a} ++ {s,t} = {(a + s),(a + t)}