这是一道奇怪的证明题
发布人