>>487
定義はもちろんだが、現時点でどういった定理が使えるのかな?