Proved that every n > 1 has a prime factor.