See Sect.
2.1
and Sect.
3.5
for more information on the rigidity theorem.