Due to the speed of light (and gravity), Mars should be about 20,000km further in its orbital path than we can measure from Earth. Was this proven when probes, rovers and satellites were sent there?