仮に5年後に証明されたとして
シェディングはそれまではなく証明されてから始まるとでも思うのかなあ