# nLab prime factor

For $n\in ℕ$ a natural number a prime factor is a prime number $p\in ℕ$ which divides $n$, hence such that there is $k\in ℕ$ with $k\cdot p=n$.