Primes congruent to five modulo eight from odd squares plus four (source code)

= Primes congruent to five modulo eight from odd squares plus four

Every odd prime factor of an odd square plus four is one modulo four. The integer is five modulo eight, so at least one prime factor is five modulo eight. Choosing the odd square divisible by any proposed finite list excludes the list and proves infinitude.