では続きです。 汚染なのよね。抽象なき数学は。なんや分からんけど計算の結果、こうなりました的な証明は良くないわけね。それしかなかったら便宜的に使うしかないけど、それがトリビアルなものではなくて、結構頻繁に出てくるものならやっぱ抽象化が必要な…