Rigidity theorem

Summary