>あなたは、じぶんで、
A=Cでなくても(3)が成り立つことがある、と
>>51 で確認したばかりじゃないですか。

A=Cのとき、(3)が成り立つので、
A=Cでなくても(3)は成り立ちます。