>>138
理論を主張なんかしてないですよ(笑)
どんだけ文章読めないんだ

�@'の仮定のもと、�@は�Aのcorollaryですよね?

という質問をしています