4.2 计算题和证明题