The $\mathbb{Z}_p$-rank of the $p$-adic closure of the units grows by at most the number of new unit generators

Initializing...

The $\mathbb{Z}_p$-rank of the $p$-adic closure of the units grows by at most the number of new unit generators · Prove2Me