rigidity theorem