验证环形的皮克定理