[math-fun] z^n = 1 for Gaussian integer n