最もシンプルな質問

①を②のcorollaryと見なしてはいけないのですか？いけないとしたらそれはなぜですか？
ただし①'は仮定されているものとします。

これにちゃんと答えてくれ