On the Existence of the Maximal Unramified Pro-2-extension over the Cyclotomic $\mathbb {Z}_2$-Extension with Prescribed Metacyclic Galois Group | AMiner