>>25
補足

1.もし、スレ49のNo.178のアスキー文を読んだとしたら、私のタイプミスもありうるのでね
2.なので、補題1.5の成否と、その証明の成否は、分けて考えたいのだが