Did we prove speed of light is constant then it was incorporated in theories or did theories predict speed of light would be constant than it was proved by experiments?