截长补短类证明题