Theorem 3.2 from Ken Davidson’s course notes
Every integer n > 1 is the product of a finite set of primes.
This theorem is false. Example: 4 is not the product of a finite set of primes. It is the product of a finite list of primes.
I guess Leslie Lamport was right about theorems in books. ;-)