緊湊證明