Доказано ли существование эффекта Доплера для электромагнитных волн?

Помню, как проектировали нашу аппаратуру космической связи. И только в последний момент, когда уже все смакетировали, выяснилось, что мы забыли про эффект Доплера. Причем, изменение частоты сигнала со спутника, с которой мы осуществляли синхронизацию, было в весьма широком диапазоне. А мы, "несчастные инженеры", ставили высокостабильные кварцевые резонаторы ...