/ WHOJ / 讨论 /

验证尼科彻斯定理