0177132人目の素数さん垢版2018/05/29(火) 23:17:54.07ID:f2WjLLel いまいちよくわかってないんだが>>111の@ABはそれぞれ別々に証明する必要があるってこと? で@ABがいえればCがいえるってこと?