The interesting thing is that this feels like a thing that it would be extremely hard to know, and yet we found a way to show it to be true.

Many much simpler and more intuitive statements about primes and their distribution are beyond the grasp of modern math to prove or disprove.