A Simpler Proof on the Existence of Good Nested Lattice Codes Over Imaginary Quadratic Integers for AWGN Channel | IEEE Journals & Magazine | IEEE Xplore