1 Mar. 2024: Euclid's proof of infinitely many primes