>>75
証明を調べたいんで名前がわからないとどうにもならないんです。