詳しくというのは、たとえば何を知りたいの。
そもそも「量化記号の除去」の定義がわからないのか、
「量化記号の除去」の証明方法がわからないのか、
それとも、その次の -> の部分がわからないのか。