On the uniqueness of the smallest embedding cover

Using group theoretic methods only, we prove the uniqueness of the smallest embedding cover of a profinite group, Problem 36.2.25 of Field Arithmetic, 4th edition.