Равенство z1+z2=z1+z2 всегда верно, так как это просто коммутативное свойство сложения, которое утверждает, что порядок слагаемых в сумме не имеет значения. Таким образом, z1+z2 равно z1+z2, и доказывать это равенство нет необходимости.