Comment by layer8

The fact that any order of magnitude (base 2) contains at least one prime was proven in 1852: https://en.wikipedia.org/wiki/Bertrand%27s_postulate

Of course, the aliens listening might not have proven it yet.