放松证明:极化版。