Эйнштейн это "доказал". На основе своих постулатов теории относительности.

Он вместо постулата об эфире, глядя на формулу Лоренца придумал постулат о постоянстве скорости света.
Т.е. сначала была формула. Для эфира разработанная. Вроде бы работающая. Посмотрел Эйнштейн на переменные, которые в формуле используются, благо их там всего 2, да и придумал постулат о постоянстве скорости света, чтоб непохоже на Лоренца было, но и чтоб формулу, вроде работающую, не трогать, а то мало-ли.