上のパーフェクトイド空間の圏の間の圏同値を誘導するという定理である。