On the Limits of Physical Verifiability of Theorems Concerning Prime Numbers | Synapse