x = a + bi
y = c + di
xy = yx
(a + bi)(c + di) = (c + di)(a + bi)
a(c + di) + bi(c + di) = c(a + bi) + di(a + bi)
a(c) + a(di) + bi(c) + bi(di) = c(a) + c(bi) + di(a) + di(bi)
ac + adi + bci + bdi² = ac + bci + adi + bdi²
ac + adi + bci - bd = ac + bci + adi - bd
