>>440
定義域を拡げる時に、証明が存在する筈がないですよね。
解析関数については、「自然な定義域」が存在し、
x^y を解析関数と認めるなら、0^0 を定義域として認めたようなものだけど。
だから、定義域を拡げるのは、証明ではなく、認めることだ。