用定义法 证明第二题