Rigidity theorem