# Showing the Gaussian Intergers are a euclidean domain under a certain mapping

$e(a+bi) = \lfloor log_2(a^2+b^2)\rfloor$
I was trying to use the fact that $e(a+bi) = a^2+b^2$ is a valid mapping while considering the Gaussian integers as a Euclidean Domain, but have essentially ended up nowhere.