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