Category:Gaussian Integers form Euclidean Domain