>>273
well-definedであればそれを証明することが出来る
ということがわかっているだけではなんの意味もない
具体的に証明してみないと