証明

書き直していたらすっきりとした形を思いついたので、それを採用。スパイシーでカツ丼を食べているときにミスに気がついたので、それを修正。Lemma 3.16aはこれで良しと。