Question
The set of Gaussian integers: `CC = "{" a + bi :\ \ a , b in ZZ "}"`.
Is it true that `{a + bi}/{c + di} in QQ[i] \ \ , `
where `{a + bi}/{c + di}` is a fraction of Gaussian integers.
?