本業

Worst-case/Average-case Connectionの証明を書き直し。
そもそも1個の定理に纏まっているからよくない。補題で、(distinguish p.d.f.→distinguish p.d.f.)をRegevの証明を引いて示すことに。改善した定理(usvp→distinguish p.d.f.)と合わせてW/A Connectionを。