一道内容复杂条理清楚的证明题