Example: important hard exercise (Vakil's 13.7.K)