\nu_p(n):=\max\{\alpha\in\textbf{Z}:p^\alpha|n\}