光が数字持ってない事が証明されたか