Mathlib

Every whole number greater than 1 is either prime, or a product of primes.