>>49-50
おっちゃん、どうも、スレ主です。

いつも、ご苦労さまです。

証明投稿の途中で、じゃまかな？（＾＾

そうそう、最初に証明すべき命題をきちんと書いてくれると助かるよ（＾＾