p. 101(1a)
试证明:
Input by zjzheng 20141003