Factorising a number into its prime factors means identifying its elementary “bricks”. The Fundamental Theorem of Arithmetic guarantees that this factorisation is unique: from it one reads off the GCD, the LCM, the number of divisors and divisibility. The section includes the sieve of Eratosthenes algorithm for listing the primes, the quick divisibility rules and the ideas that prove them.