我国的登月计划称为（）计划。
参考答案：嫦娥
用反证法证明“三角形三个内角中至少有两个锐角”时应首先假设______．
Believe it or not, he was seen ______upstairs just now.
A．to go
B．to going
C．having gone
D．go
