Well, moving them is out of the question, since, you know, motion will change the clocks time. If you re-sync them, you bake the “error” into your framework. If you try a timer, the timer is offset. If you try and propagate a signal, the signal is offset. And eventually, you have to compare the two times, which muddies the waters by introducing a third clock.

Basically, there is no way to sync two clocks without checking both clocks, ergo, no way of proving or disproving. That’s the premise.

In practicality, I assume it is constant, but it’s like N=NP. You can’t prove it within the framework, even if you really, really want to believe one thing.