  A soluble pro-p group of finite rank is finitely axiomatizable in the class
of all profinite groups if and only if for each open subgroup H, the image of
Z(H) in the abelianization of H is finite, subject to some suitable hypothesis
of finite presentability.
