>>689
いつ証明されたの?