まず "a+ib+a'+ib' ＝ "("a+a' ") "+i" ("b+b' ")であり同時に "a+bx+a'+b'x＝" ("a+a' ") "+" ("b+b' ")"x" である。