Abstract: This paper investigates nested lattice codes generated through Construction A from the ring of integers of an imaginary quadratic field. Our primary goal is to offer a streamlined proof of ...