generated at
証明されていない
証明 + されていない
証明された
証明する
仮説 - 仮説検証