光の速さが可変であることを証明