>>10
とは証明されてないし