Subsection for properties of an example
Inverse image is full and faithful
Remark documenting another approach for vanishing of higher direct images of structure sheaf.