いまいちよくわかってないんだが>>111の@ABはそれぞれ別々に証明する必要があるってこと?
で@ABがいえればCがいえるってこと?