Factor of Mersenne Number

Theorems
Let $p$ and $q$ be prime numbers such that $p$ is a divisor of the Mersenne number $M_q$.

Then the following properties hold:

Factor of Mersenne Number $M_p$ is of form $2 k p + 1$
Thus any factor of a Mersenne number can conveniently be referred to by the value of $k$.