Subsection II.5.3.2

Projective space of arbitrary dimension