今日はTheorem 1.1の証明を書き写すことから。
でもしないかもしれない。