Rename conjecture.txt to infinite_primes_conjecture.txt