A simpler proof for the existence of capacity-achieving nested lattice codes | IEEE Conference Publication | IEEE Xplore