Yes, I know that. What was proved by experiment later was the _consequences_ of a fixed speed of light that he worked out. (ie: time dilation, etc)