| dbp:proof
 | 
	- The relation  means that all  are obtained from  by translating it by a Gaussian integer. This implies that all  have the same area , and contain the same number  of Gaussian integers.
Generally, the number of grid points  in an arbitrary square with the area  is  . If one considers a big square consisting of  squares , then it contains  grid points. It follows , and thus , after a division by . Taking the limit when  tends to the infinity gives . (en)
 
  |