请输入要证明的式子

TeX