解析失败，请将失败页面反馈给本站，请重新刷新一次，或者访问源网页：https://math.stackexchange.com/questions/304422/formal-proof-for-1-times-1-1