Number Theory: proof of division algorithm in Gaussian Integers continued, 9-29-21 part 2

is the source for this lecture

[giovannisolda]

I think you should also have checked that \rho is in Z[i]. By the way you present it, it could still not have integer coefficients (since it is of the form \zeta / \xi, where \zeta and \xi are Gauss integers). Of course this can be done easily, but I think it should have been mentioned.

[اسلامكمال-خذ]

Which video explaining the sigma function