>>414
解析函数としての拡張は一意だから、どうやろうが大した問題ではない
解析接続の性質として関数関係は保存されるから、「形式的代入」は立派に厳密な方法