p\in\textbf{N}\,\land\, p\ge 2