------------------一道证明题,不难,拜托了-------------------