Complex Arithmetic/Examples/((1 + root 3 i)(1 - root 3 i)^-1)^10/Proof 1