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. ;-)