>>315
おっちゃん、どうも、スレ主です。
おっちゃんのその証明は正しい!(^^