# Nilpotent pro-$p$ groups

Is it true that every finitely generated (topologically) torsion free nilpotent pro-$p$ group is isomorphic to a subgroup of $U_d(\mathbb{Z}_p)$, the group of $d\times d$-upper triangular matrices with 1's in the diagonal, for some $d$?.

This question is the analogous of this well known result: every finitely generated torsion free nilpotent group is isomorphic to a subgroup of $U_d(\mathbb{Z})$ for some $d$.

-