For n∈ℕ a natural number a prime factor is a prime number p∈ℕ which divides n, hence such that there is k∈ℕ with k⋅p=n.