何度も言っていますが

�@'の仮定のもとでは、�A⇒�@ですよね?
間違ってたらご指摘下さい

という質問をずっとしています

�A⇒�@'

という主張は一度もしていません

�@と�@'は同じでない

という主張もしていません