Abstract: We formulate and prove the so-called $p$-adic non-commutative analytic subgroup theorem. This result is seen as the $p$-adic analogue of a recent theorem given by Andrei Yafaev.