>>57
＞ということですね？
そうです。

＞以上で間違いなければ、「B=Cになることの証明」が論文の何ページの上から何行目に書かれているのか
4ページの"A case where　n〜"から始まる段落から、4ページの最後までです。

>>58
AからBが導かれているということは
A⊃B
を意味しています。そうだから
A∧B=φ
でなければなりません。