>>144でようやくまともな書き込みきたわ
結局�Aを使うには�@'の仮定が必要で、�@'だけでも�@は成り立つから、�@を�Aの系だとみなすのは不適当

これが正解