1) The document discusses properties of Fermat numbers Fn = 22n + 1. It proves that F5 is divisible by 641 and that the least digit in the decimal expansion of Fn is 7 if n ≥ 2.
2) It also proves that for all positive integers n, the product of the first n Fermat numbers minus 2 equals the next Fermat number (F0F1...Fn-1 = Fn - 2).
3) Additionally, it proves that if m and n are distinct nonnegative integers, then the Fermat numbers Fm and Fn are relatively prime.