さて、命題9.4である。まず注意として、原文でも似たような書き方なので罪は同じだが、条件2から条件1を言う時に、条件2の中に直接のデータとしてはは与えられておらず、すぐ下のをの定義として、これが自然変換であることを示す必要がある。それゆえp.240終…